21. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
22. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
23. Computation and automata
پدیدآورنده: Saloma, Arto
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computable functions ► Computational complexity ► Sequential machine theory
رده :
511
S173c
24. Computation and automata
پدیدآورنده: Salomaa, Arto
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
25. Computation and automata
پدیدآورنده: Arto Salomaa
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
26. Computation and automata
پدیدآورنده: Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
27. Computation and automata
پدیدآورنده: Saloma, Arto
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computable functions ► Computational complexity ► Sequential machine theory
رده :
511
S173c
28. Computation theory : Fifth Symposium, Zaborow, Poland, December 3-8, 1984: Proceedings
پدیدآورنده: edited by Andrzej Skowron
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
208
29. Computation theory and logic
پدیدآورنده: Egon Borger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Rodding, Dieter, 7391-
رده :
QA
76
.
L28
Vol
.
270
30. Computation theory and logic
پدیدآورنده: Egon Borger )ed.(
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Machine theory,، Computational complexity,، Rodding, Dietes, 7391-
رده :
QA
267
.
C588
1987
31. Computation theory : fifth symposium, Zaborow, Poland, December 3-8, 1984 : proceedings
پدیدآورنده: edited by Andrzej Skowron
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
208
32. Computation theory: fifth symposium, Zaborow, Poland, Decomber 3-8, 1984: proceedings
پدیدآورنده: edited by Andrzej Skowron
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
C59
1984
33. Concise guide to computation theor
پدیدآورنده: / Akira Maruoka
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Machine theory.,Computable functions.
رده :
QA
,
267
.
7
,.
M378
,
2011
34. Concise guide to computation theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Machine theory. ; Computable functions. ;
35. Elements of computation theory
پدیدآورنده: / Arindama Singh
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Computational complexity.,Computer science.
رده :
QA
,
267
,.
S55
,
2009
36. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
37. Elements of the theory of computation
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
L49
1998
38. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
39. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
40. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49





